r:CRng. rxmn  AbMon 

latex

Up	rings 1
Definitions of Statement	Rng, CRng, rxmn
Definitions	t  T, x:A. B(x), rxmn, P & Q, Rng, P  Q, CRng
Lemmas	crng wf, crng all properties, rng one wf, rng times wf, rng le wf, rng eq wf, rng car wf, mk abmonoid